Ganesh C. Gopalakrishnan's Documents

Ganesh C. Gopalakrishnan's Documents

Computation Engineering

Computation Engineering
Read more
Computation engineering: applied automata theory and logic

Computation engineering: applied automata theory and logic
Read more
Computation Engineering: Applied Automata Theory and Logic

Computation Engineering: Applied Automata Theory and Logic
Read more
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Read more
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Read more
Computer Aided Verification - CAV 2011

Computer Aided Verification - CAV 2011
Read more
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
Read more
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)
Read more
Theorem proving in higher order logics, 17 conf., TPHOLs 2004

Theorem proving in higher order logics, 17 conf., TPHOLs 2004
Read more
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)
Read more
Integrated Petroleum Reservoir Management: A Team Approach

Integrated Petroleum Reservoir Management: A Team Approach
Read more
Classic Papers in Natural Resource Economics

Classic Papers in Natural Resource Economics
Read more
Classic Papers in Natural Resource Economics

Classic Papers in Natural Resource Economics
Read more
Intelligent Mechatronics

Intelligent Mechatronics
Read more
Social Freedom in a Multicultural State: Towards a Theory of Intercultural Justice

Social Freedom in a Multicultural State: Towards a Theory of Intercultural Justice
Read more
Oracle Database 11g Oracle Real Application Clusters Handbook, 2nd Edition

Oracle Database 11g Oracle Real Application Clusters Handbook, 2nd Edition
Read more
Wireless Network Deployments

Wireless Network Deployments
Read more
Wireless network deployments

Wireless network deployments
Read more
New Directions in Solid State Chemistry

New Directions in Solid State Chemistry
Read more
New Directions in Solid State Chemistry

New Directions in Solid State Chemistry
Read more
Commutative algebra

Commutative algebra
Read more
Commutative algebra

Commutative algebra
Read more
Commutative algebra

Commutative algebra
Read more
Commutative algebra

Commutative algebra
Read more
Sustainable and Resilient Critical Infrastructure Systems: Simulation, Modeling, and Intelligent Engineering

Sustainable and Resilient Critical Infrastructure Systems: Simulation, Modeling, and Intelligent Engineering
Read more
Direct Transistor-Level Layout for Digital Blocks

Direct Transistor-Level Layout for Digital Blocks
Read more
Plant Proteomics. Technologies, Strategies, and Applications

Plant Proteomics. Technologies, Strategies, and Applications
Read more
Information Technology: A Growth Navigator for Small Scale Industries in India

Information Technology: A Growth Navigator for Small Scale Industries in India
Read more
Oracle Wait Interface: A Practical Guide to Performance Diagnostics & Tuning

Oracle Wait Interface: A Practical Guide to Performance Diagnostics & Tuning
Read more
Sustainable Bioenergy and Bioproducts: Value Added Engineering Applications

Sustainable Bioenergy and Bioproducts: Value Added Engineering Applications
Read more